Performance Evaluation of Embedded Garbage Collectors in CVM Environment
نویسندگان
چکیده
منابع مشابه
Performance Evaluation of Barrier Techniques for Distributed Tracing Garbage Collectors
Currently, software engineering is becoming even more complex due to distributed computing. In this new context, portability is one of the key issues and hence a cluster-aware Java Virtual Machine (JVM) that can transparently execute Java applications in a distributed fashion on nodes of a cluster, while providing the programmer with the single system image of a classical JVM, is really desirab...
متن کاملRethinking age-based garbage collectors
Garbage collection has been around for a long time, and is accepted as a customary element for dynamic memory management in run-time systems of modern programming languages, for reasons of safety and for its clear software engineering benefits. The wide-spread acceptance of object-oriented languages makes it more important than ever to have garbage collection also work as fast as possible. The ...
متن کاملOn the Algebraic Derivation of Garbage Collectors
We give an algebraic characterisation of reachability and non-reachability in modal Kleene algebras. By this we derive a general algorithm for garbage collectors and present some further algebraic optimisations. The given approach is fully expressible in first-order logic and hence provides an abstract and general framework for automated and machine-verified derivations of garbage collecting al...
متن کاملFormal Derivation of Concurrent Garbage Collectors
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and-prove verification or on the application of domain-specific templates and transformations. We show how to derive the upper reaches of a family of concurrent garbage collectors by refinement from a formal specificatio...
متن کاملImplementing a Family of Distributed Garbage Collectors
This paper discusses implementations of distributed garbage collectors derived using a previously developed methodology which involves mappings of distributed termination detection algorithms (DTAs) to local garbage collection schemes. Implementations produced by such mappings preserve the safety and completeness properties of the original local collectors. Through our collector implementations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartA
سال: 2007
ISSN: 1598-2831
DOI: 10.3745/kipsta.2007.14-a.3.173